Section: Partnerships and Cooperations

Regional Initiatives

Digiteo Paso

Participants : Assia Mahboubi, Benjamin Werner [Contact] .

The PASO project (Preuves, Interprétation abstraite, and Optimisation cal properties of programs, arising in particular from the modeling of complex systems with critical security issues. It gathers computer scientists from CEA-LIST/MeASI, INRIA Saclay/Typical and LIX and specialists from Optimization or Control theory from LIX/MeASI, INRIA Saclay/Maxplus and CMAP, and Supelec/L2S. The goal of this exploratory project is to cross-fertilize these fields, by applying advanced algorithms or techniques inspired by global optimization, by the analysis and identification of dynamical systems, or by zero-sum game theory, in order to improve the precision or the scalability of current methods in proof and static analysis. These applications coming from computer science turn out to raise new challenges for the applied mathematicians. The project started in October 2008 and ended in November 2011.

Digiteo Coquelicot

Participant : Assia Mahboubi [Contact] .

Coquelicot is a 3 years Digiteo project that started in September 2011. Sylvie Boldo (INRIA, project-team ProVal) is the principal investigator of this project. The Coquelicot project aims at creating a modern formalization of the real numbers in Coq, with a focus on practicality. This is sorely needed to ease the verification of numerical applications, especially those involving advanced mathematics.